Books by author Naijun Zhan

Showing 1 – 6 out of 6 results

1. 

   Formal Verification of Simulink/Stateflow Diagrams

   Naijun Zhan, Shuling Wang, Hengjun Zhao | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   118.13 €

   Sale 7 %

   You save 9.82 €

   Buy
2. 

   Formal Verification of Simulink/Stateflow Diagrams

   NAIJUN ZHAN | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   118.13 €

   Sale 7 %

   You save 9.82 €

   Buy
3. 

   Symposium on Real-Time and Hybrid Systems

   Cliff Jones, Ji Wang, Naijun Zhan | Springer Nature Switzerland AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
4. 

   Dependable Software Engineering: Theories, Tools, and Applications

   Martin Fränzle, Deepak Kapur, Naijun Zhan | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Formal Methods and Software Engineering

   Jingyi Wang, Naijun Zhan | Springer-Verlag GmbH, 2025

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   76.06 €

   Sale 7 %

   You save 6.38 €

   Buy
6. 

   Formal Methods

   Naijun Zhan, Corina Pasareanu | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   112.98 €

   Sale 7 %

   You save 9.40 €

   Buy

We offer discounts for students and ISIC card holders. Find out more